predicate of n variable n

变项谓语,n变元谓语

热门查询